An Approach to Argumentation Schemes that Appeal to Expert Opinion

Argumentation is a form of reasoning that deeply resembles the human mechanism for commonsense reasoning. An argumentation scheme is a representational tool for modeling common patterns of reasoning; in particular, it displays the form of an argument by showing how the argument is built using the inferential structures commonly used in everyday discourse. Argument schemes are very useful in contexts such as legal argumentation, scientific argumentation, and especially in Artificial Intelligence applications. One type of argumentation scheme corresponds to appeal to Expert Opinion or Position-to-Know argumentation. Position-to-know reasoning is typically used in an information seeking type of dialogue where one has to depend on a source. Most of such argumentation frameworks are based on Dung’s seminal work characterizing Abstract Argumentation Frameworks. In this work, we introduce a novel framework, called Expert Argumentation Framework (EAF), extending AF with the capability of modeling the quality of expert associated with the arguments that were proposed.La argumentación es una forma de razonamiento que se relaciona profundamente con el mecanismo humano de razonamiento basado en el sentido común. Un esquema de argumentación es una herramienta de representación para modelar patrones comunes de razonamiento. En particular, estos esquemas muestran la forma de un argumento, es decir, cómo se construye el argumento utilizando estructuras inferenciales comúnmente utilizadas en el discurso cotidiano. Los esquemas de argumentación son muy utilizados en contextos como la argumentación legal, argumentación científica y, especialmente, en aplicaciones de Inteligencia Artificial. Un tipo de esquema de argumentación es aquel que apela a la Opinión Experta o Posición de Conocer. El razonamiento basado en la Posición de Conocer es típicamente utilizado en aquellos diálogos de búsqueda de información donde se depende de una fuente calificada. La mayoría de los marcos de argumentación se basan en el trabajo seminal de Dung que caracteriza un Marco de Argumentación Abstracto (MA). En este trabajo, introduciremos un nuevo marco, llamado Marco de Argumentación Experta (MAE), extendiendo el MA con la capacidad de modelar la calidad del experto asociada con los argumentos que este propone.Fil: Budan, Paola D. . Universidad Nacional del Sur; Argentina. Universidad Nacional de Santiago del Estero; ArgentinaFil: Budan, Maximiliano Celmo David. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional del Sur; Argentina. Universidad Nacional de Santiago del Estero; ArgentinaFil: Simari, Guillermo Ricardo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional del Sur; Argentin

Guidelines for the Analysis and Design of Argumentation-Based Recommendation Systems

Recommender systems study the characteristics of its users and applying different kinds of processing to the available data, find a subset of items that may be of interest to a given user in a specific situation. Argumentation-based tools offer the possibility of analyzing complex and dynamic domains by generating and analyzing arguments for and against recommending a specific item based on the users' preferences. This approach allows us to analyze the qualitative and quantitative characteristics of the recommended items, and to provide explanations to increase transparency. In this article, we develop a set of software engineering guidelines for the analysis and design of recommender systems leveraging this approach.Fil: Leiva, Mario Alejandro. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; Argentina. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación; ArgentinaFil: Budan, Maximiliano Celmo David. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional de Santiago del Estero. Facultad de Ciencias Exactas y Tecnologías. Departamento de Matemática; ArgentinaFil: Simari, Gerardo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; Argentina. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación; Argentin

A defeasible logic programming with extra meta-level information through labels

Several argument-based formalisms have emerged with application in many areas, such as legal reasoning, intelligent web search, recommender systems, autonomous agents and multi-agent systems. In decision support systems, autonomous agents need to perform epistemic and practical reasoning; the first requiring reasoning about what to believe, and the latter, involving reasoning about what to do reaching decisions and, often, attaching more information to the pieces of knowledge involved. We will introduce an approach in the framework of DeLP called Argumentative Label Algebra (ALA), incorporating labels as a medium to convey meta-level information; through these labels it will represent different features of interest in the reasoning process, such as strength and weight measures, time availability, degree of reliability, etc. The labels associated with arguments will thus be combined and propagated according to argument interactions. This information can be used for different purposes: to carry information for a specific purpose, to determine which argument defeats another, analyzing a feature that is relevant to the domain, and to define an acceptability threshold which will determine if the arguments are strong enough to be accepted. The aim of this work is to improve the ability of representing real-world scenarios in argumentative systems by modeling different arguments attributes through labels.Varios formalismos basados en argumentos han emergido, con aplicaciones en muchas áreas, tales como el razonamiento legal, la búsqueda inteligente en la web, sistemas de recomendación, agentes autónomos y sistemas multi-agente. En los sistemas de soporte a la decisión, los agentes autónomos necesitan realizar razonamiento epistémico y práctico, el primero requiere razonamiento sobre qué creer, y el ´ultimo involucra razonamiento acerca de qué hacer, frecuentemente, agregando más información a las piezas de conocimiento involucradas. Introduciremos una aproximación en el marco de DeLP denominada Álgebra de Etiqueta para Argumentos (AEA), incorporando etiquetas como un medio para transmitir información de meta-nivel. A través de estas etiquetas se puede representar diferentes rasgos de interés en el proceso de razonamiento, tales como las medidas de peso y fuerza, disponibilidad de tiempo, grados de confiabilidad, etc. Las etiquetas asociadas con los argumentos podrán así ser combinadas y propagadas de acuerdo a las interacciones de los argumentos. Esta información puede ser usada para diferentes propósitos: llevar información para un objetivo específico, determinar cuáles argumentos derrotan a otros, analizar un rasgo que es relevante a un dominio, y definir un umbral de aceptabilidad que determinar´a si un argumento es lo suficientemente fuerte como para ser aceptado. El objetivo de este trabajo es mejorar la habilidad de representar escenarios del mundo real en sistemas argumentativos al modelar diferentes atributos de los argumentos a través de las etiquetas.Fil: Budan, Maximiliano Celmo David. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional del Sur; Argentina. Universidad Nacional de Santiago del Estero; ArgentinaFil: Gomez Lucero, Mauro Javier. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional del Sur; ArgentinaFil: Simari, Guillermo Ricardo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional del Sur; Argentin

Modeling time and valuation in structured argumentation frameworks

Temporal Argumentation Frameworks (TAF) represent a recent extension of Dung's abstract argumentation frameworks that consider the temporal availability of arguments. In a TAF, arguments are valid during specific time intervals, called availability intervals, while the attack relation of the framework remains static and permanent in time; thus, in general, when identifying the set of acceptable arguments, the outcome associated with a TAF will vary in time. We introduce an extension of TAF, called Extended Temporal Argumentation Framework (E-TAF), adding the capability of modeling the temporal availability of attacks among arguments, thus modeling special features of arguments varying over time and the possibility that attacks are only available in a given time interval. E-TAF will be enriched by considering Structured Abstract Argumentation, using Dynamic Argumentation Frameworks. The resulting framework, E-TAF∗, provides a suitable model for different time-dependent issues satisfying properties and equivalence results that permit to contrast the expressivity of E-TAF and E-TAF∗ with argumentation based on abstract frameworks. Thus, the main contribution here is to provide an enhanced framework for modeling special features of argumentation varying over time, which are relevant in many real-world situations. The proposal aims at advancing in the integration of time and valuation in the context of argumentation systems as well.Fil: Budan, Maximiliano Celmo David. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación; Argentina. Universidad Nacional de Santiago del Estero. Facultad de Ciencias Exactas y Tecnologías. Departamento de Matemática; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; ArgentinaFil: Gomez Lucero, Mauro Javier. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación; ArgentinaFil: Chesñevar, Carlos Iván. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional de Santiago del Estero. Facultad de Ciencias Exactas y Tecnologías. Departamento de Matemática; Argentina. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación; ArgentinaFil: Simari, Guillermo Ricardo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación; Argentin

Strength in coalitions: Community detection through argument similarity

We present a novel argumentation-based method for finding and analyzing communities in social media on the Web, where a community is regarded as a set of supported opinions that might be in conflict. Based on their stance, we identify argumentative coalitions to define them; then, we apply a similarity-based evaluation method over the set of arguments in the coalition to determine the level of cohesion inherent to each community, classifying them appropriately. Introducing conflict points and attacks between coalitions based on argumentative (dis)similarities to model the interaction between communities leads to considering a meta-argumentation framework where the set of coalitions plays the role of the set of arguments and where the attack relation between the coalitions is assigned a particular strength which is inherited from the arguments belonging to the coalition. Various semantics are introduced to consider attacks' strength to particularize the effect of the new perspective. Finally, we analyze a case study where all the elements of the formal construction of the formalism are exercised.Fil: Budan, Paola Daniela. Universidad Nacional de Santiago del Estero. Facultad de Cs.exactas y Tecnologías. Departamento de Informatica; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; Argentina. Universidad Nacional de Santiago del Estero. Facultad de Cs.exactas y Tecnologias. Instituto de Investigacion En Informatica y Sistemas de Informacion.; ArgentinaFil: Escañuela Gonzalez, Melisa Gisselle. Universidad Nacional de Santiago del Estero. Facultad de Ciencias Exactas y Tecnologías. Departamento de Matemática; Argentina. Universidad Nacional de Santiago del Estero. Facultad de Cs.exactas y Tecnologias. Instituto de Investigacion En Informatica y Sistemas de Informacion.; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Budan, Maximiliano Celmo David. Universidad Nacional de Santiago del Estero. Facultad de Cs.exactas y Tecnologias. Instituto de Investigacion En Informatica y Sistemas de Informacion.; Argentina. Universidad Nacional de Santiago del Estero. Facultad de Ciencias Exactas y Tecnologías. Departamento de Matemática; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Martinez, Maria Vanina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Simari, Guillermo Ricardo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; Argentina. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación; Argentin

An Argumentative Perspective to Conflictive Interpretation of Knowledge

In many scenarios, a set of beliefs can be interpreted in different ways, leading to different outcomes. In this work we propose an argumentation-based view of the interpretation of pieces of knowledge, using legal provisions as a leading example. We formalize conflicts and entailment towards a Characterization of an acceptable, rational position of the agent on a set of knowledge, i.e. a subset of interpretations, inspired by argumentation semantics.Fil: Martínez, Diego César. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; Argentina. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación; ArgentinaFil: Budan, Maximiliano Celmo David. Universidad Nacional de Santiago del Estero. Facultad de Ciencias Exactas y Tecnologías. Departamento de Matemática; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Tucumán; ArgentinaFil: Cobo, Maria Laura. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; Argentina. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación; ArgentinaFil: Rotolo, Antonino. Universidad de Bologna; ItaliaInternational Workshop on Non-Monotonic ReasoningVietnamChinaEuropean Association for Artificial Intelligenc

Labeled bipolar argumentation frameworks

An essential part of argumentation-based reasoning is to identify arguments in favor and against a statement or query, select the acceptable ones, and then determine whether or not the original statement should be accepted. We present here an abstract framework that considers two independent forms of argument interaction-support and conflict-and is able to represent distinctive information associated with these arguments. This information can enable additional actions such as: (i) a more in-depth analysis of the relations between the arguments; (ii) a representation of the user's posture to help in focusing the argumentative process, optimizing the values of attributes associated with certain arguments; and (iii) an enhancement of the semantics taking advantage of the availability of richer information about argument acceptability. Thus, the classical semantic definitions are enhanced by analyzing a set of postulates they satisfy. Finally, a polynomial-time algorithm to perform the labeling process is introduced, in which the argument interactions are considered.Fil: Escañuela Gonzalez, Melisa Gisselle. Universidad Nacional de Santiago del Estero; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Tucumán; ArgentinaFil: Budan, Maximiliano Celmo David. Universidad Nacional de Santiago del Estero; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Tucumán; ArgentinaFil: Simari, Gerardo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; ArgentinaFil: Simari, Guillermo Ricardo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; Argentin

Towards an argument-based music recommender system

The significance of recommender systems has steadily grown in recent years as they help users to access relevant items from the vast universe of possibilities available these days. However, most of the research in recommenders is based purely on quantitative aspects, i.e., measures of similarity between items or users. In this paper we introduce a novel hybrid approach to refine recommendations achieved by quantitative methods with a qualitative approach based on argumentation, where suggestions are given after considering several arguments in favor or against the recommendations. In order to accomplish this, we use Defeasible Logic Programming (DeLP) as the underlying formalism for obtaining recommendations. This approach has a number of advantages over other existing recommendation techniques.In particular, recommendations can be refined at any time by adding new polished rules, and explanations may be provided supporting each  recommendation in a way that can be easily understood by the user, by means of the computed arguments.Fil: Briguez, Cristian Emanuel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur. Departamento de Ciencia e Ingeniería de la Computación. Laboratorio de Investigación y Desarrollo en Inteligencia Artificial; ArgentinaFil: Budan, Maximiliano Celmo David. Universidad Nacional del Sur. Departamento de Ciencia e Ingeniería de la Computación. Laboratorio de Investigación y Desarrollo en Inteligencia Artificial; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; ArgentinaFil: Deagustini, Cristhian Ariel David. Universidad Nacional del Sur. Departamento de Ciencia e Ingeniería de la Computación. Laboratorio de Investigación y Desarrollo en Inteligencia Artificial; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; ArgentinaFil: Maguitman, Ana Gabriela. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur. Departamento de Ciencia e Ingeniería de la Computación. Laboratorio de Investigación y Desarrollo en Inteligencia Artificial; ArgentinaFil: Capobianco, Marcela. Universidad Nacional del Sur. Departamento de Ciencia e Ingeniería de la Computación. Laboratorio de Investigación y Desarrollo en Inteligencia Artificial; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; ArgentinaFil: Simari, Guillermo Ricardo. Universidad Nacional del Sur. Departamento de Ciencia e Ingeniería de la Computación. Laboratorio de Investigación y Desarrollo en Inteligencia Artificial; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentin

Proximity semantics for topic-based abstract argumentation

As we engage in a debate with other parties, it is usual that several issues might come under discussion. Many of these issues are interrelated by the topic they address, while others represent a departure from the focus of the discussion. In this work, we propose to extend Dung's abstract argumentation frameworks by decorating arguments with a set of interrelated topics. These topics represent what the arguments are addressing and provide a supporting structure for the analysis of multi-topic argumentation. The introduction of a notion of distance between two topics associated with the arguments permits to consider the proximity of an argument to the focus of the debate, supporting in that manner an enriched semantic analysis.Fil: Budan, Maximiliano Celmo David. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; Argentina. Universidad Nacional de Santiago del Estero. Facultad de Ciencias Exactas y Tecnologías. Departamento de Matemática; ArgentinaFil: Cobo, Maria Laura. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; ArgentinaFil: Martínez, Diego César. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; ArgentinaFil: Simari, Guillermo Ricardo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; Argentin